-
1 formally true
Большой англо-русский и русско-английский словарь > formally true
-
2 formally true
Математика: формально истинный -
3 formally true
мат. -
4 true
1) правильность, точность2) истина3) верный, истинный, подлинный, правильный4) выверять6) справедливый•- identically trueneither statement is true — ни то, ни другое утверждение не верно
-
5 формально истинный
Большой англо-русский и русско-английский словарь > формально истинный
-
6 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
7 admit
1. III1) admit smth. admit one's mistake (one's guilt, etc.) признавать свою ошибку и т. д., признаваться в своей ошибке и т. д.2) admit smth. admit an argument (a fact, etc.) соглашаться с доводом и т. д., признавать довод и т. д. убедительным; admit a hypothesis принять гипотезу; we said that he was wrong and he admitted it /as much/ мы сказали, что он неправ, и он с этим согласился; admit a claim law признавать претензию3) admit smb. admit employees (children, men, dogs, etc.) впускать служащих и т. д., разрешать вход служащим и т. д.; the old man opened the door and admitted me старик открыл дверь и впустил меня; this ticket admits one person по этому билету может пройти один человек; admit smth. admit light (air, water, etc.) пропускать свет и т. д.4) admit smb. admit girls (men, students, members, etc.) принимать девочек и т. д.; we shall admit only one hundred boys мы зачислим только сто мальчиков; the college does not admit women в этот колледж женщин не допускают /не принимают/5) admit smb., smth. admit many people (a very small audience, a great number of ships, ten cars, etc.) вменить много людей и т. д.; the theatre admits only 200 persons этот театр рассчитан только на двести человек; the stable admits only four horses в конюшне можно разместить только четырех лошадей; the harbour admits large liners (cargo boats, ships, etc.) в порт могут заходить большие лайнеры и т. д.; the passage admits two abreast по коридору рядом могут пройти только двое2. IVadmit smth. in some manner1) admit smth. reluctantly (willingly, humbly, arrogantly, tacitly, laughingly, naively, etc.) неохотно /нехотя/ и т. д. признавать что-л. /признаваться в чем-л./2) admit smth. readily (formally, officially, lavishly, generously, etc.) охотно /с готовностью/ и т. д. соглашаться с чем-л.3) scarcely (hardly, freely, etc.) admit smth. скупо /едва/ и т. д. пропускать что-л.3. VIIadmit smth. to be smth. admit the task to be difficult (the statement to be true, the assertion to be groundless, the charge to be well founded, etc.) признавать задание сложным и т. д.; you must admit her statement to be doubtful вы должны согласиться с тем, что ее заявление сомнительно /не вызывает доверия/4. XI1) be admitted this much may be admitted это уж можно признать, с этим-то можно согласиться, это-то не вызывает сомнений2) be admitted ask for me and you will be admitted скажите, что вы ко мне, и вас пропустят /впустят/; I ordered that he was not to be admitted я распорядился, чтобы его не пропускали; children [are] not admitted дети не допускаются; dogs [are] not admitted с собаками вход воспрещен; be admitted to some place be admitted to the ball, (to the theatre, to the garden, etc.) иметь право пройти /право входа/ на бал и т. д.; we were admitted to the third performance нас (про-) пустили на третье представление3) be admitted to smth. only 100 boys are admitted to this school every year в эту школу ежегодно принимают только сто мальчиков; he was admitted to the university его приняли /он поступил/ в университет; the study was admitted into the university curriculum эту дисциплину включили в учебный план университета5. XIVadmit doing smth. admit receiving your letter (having done wrong, etc.) признаваться, что получил ваше письмо и т.д.; I shall never admit knowing it я никогда не сознаюсь, что знал /знаю/ об этом; no one would admit having done it никто не признается, что он это сделал6. XVI1) admit to some place admit to the house (to the cellar, to the garden, etc.) вести /открывать путь/ в дом и т. д.; the key admits to the house при помощи ключа можно проникнуть в дом2) admit of smth. often in the negative book, not to admit of dispute (of explanation, of hesitation, etc.) не допускать спирав и т. д.; this word admits of по other meaning это слово не может иметь другого значения; the passage (the sentence) admits of several interpretations этот отрывок (это предложение) допускает несколько интерпретаций /можно толковать по-разному/; English adjectives do not admit of this change английские прилагательные так не изменяются; his evidence admits of no doubt его свидетельские показания не оставляют места для сомнений; this matter admits of no delay [это] дело не терпит отлагательства; his guilt is too apparent to admit of discussion его вина абсолютно очевидна7. XVIIadmit to doing smth., admit to having taken the money (to having misled the police, to wronging her, etc.) признаваться в том, что взял деньги и т. д.8. XVIIIadmit oneself as possessing some quality admit oneself beaten признавать себя побежденным; I admit myself confused признаюсь, я в растерянности; he admitted himself satisfied (pleased) он признался /сказал/, что удовлетворен (доволен)9. XXI11) admit smth. to smb., admit the mistake to the teacher (one's guilt to the police, the loss of money to one's parents, etc,) признаваться учителю в своей ошибке и т. д.; I admitted to myself the truth of her criticism себе я признавался в том, что ее критика справедлива2) admit smb. (in)to (within) smth. admit a stranger into the house (the whole party into the place, the police into one's residence, the representatives of the press to, the gallery, the visitors within the fortification, etc.) впустить /пропустить/ незнакомца в дом и т. д.; admit smb. to a show (to a film, etc.) пропустить кого-л. на спектакль и т. д., the ticket admits you to one lecture билет дает вам право на посещение одной лекции; admit smb. to an examination допускать кого-л. к экзамену; admit smb. to one's friendship (into one's intimacy, etc.) book, делать кого-л. другом и т. д.; I don't think you should admit him to your confidence мне кажется, что с ним не следовало бы быть откровенным3) admit smb. (in)to smth. admit boys into school (talented man to the Royal Academy, women into college, new members to a club, children into the company of grown-ups, this country into the fellowship of European nations, etc.) принимать мальчиков в школу и т. д.10. XXIV2I admit the signature as my own я признаю эту подпись/, что это моя подпись/11. XXVadmit that... admit that I was wrong (that he did it, that you used this expression, that I've been unfair to you, etc.) допускать /соглашаться с тем, признаваться в том/, что я был неправ и т. д.; I admit that you are right признаюсь), [что] вы правы; let's admit that you are right допустим, что вы правы; everybody admits that there is some measure of truth in it все признают, что в этом есть доля правды; it must be admitted-that..., следует признать, что...; it is generally (universally) admitted that... всеми признано (общепризнано), что... abs "I am wrong", he admitted "Я неправ",- признался он12. XXVII2admit to smb. that... I admitted to them that I knew nothing я признался им, что ничего не знаю -
8 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
-
9 field
1) поле || полевой2) магн. наряжённость поля3) участок; область5) полигр. фон; грунт6) горн. прииск; месторождение7) горн. промысел || промысловый8) матем. тело; поле10) полевой; эксплуатационный•- algebraically complete field - axisymmetric field - base field - basic field - completely valuated field - field of algebraic numbers - fully ordered field - fully ramified field - gross field - guiding magnetic field - linear transformation field - locally compact ultrametric field - locally finite field - purely unseparable field - strictly monotone field - strongly isomorphic field - topologized algebraic field - totally imaginary field - totally ramified field - totally real fieldfield with a valuation — поле с оценкой, поле с нормой; метризованное поле
-
10 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
См. также в других словарях:
true — Conformable to fact; correct; exact; actual; genuine; honest. In one sense, that only is true which is conformable to the actual state of things. In that sense, a statement is untrue which does not express things exactly as they are. But in… … Black's law dictionary
True and Living Church of Jesus Christ of Saints of the Last Days — The True and Living Church of Jesus Christ of Saints of the Last Days (TLC) is a breakaway sect of The Church of Jesus Christ of Latter day Saints (LDS Church). It is headquartered in Manti, Utah, United States, where it maintains a small and… … Wikipedia
True Jesus Church — The True Jesus Church (Zhen yesu jiaohui) is a charismatic indigenous Protestant group that emerged in the early decades of the twentieth century, along with the Little Flock and the Jesus Family. Formally established in Beijing in 1917, the… … Encyclopedia of Contemporary Chinese Culture
List of True Blood characters — True Blood is an American television drama series created and produced by Alan Ball. It is based on The Southern Vampire Mysteries by Charlaine Harris. This article includes main characters (i.e. characters played by a main cast member), as well… … Wikipedia
Croatian True Revival — Hrvatski istinski preporod Founder Miroslav Tuđman Found … Wikipedia
Society of True Christians — Confraternita dei Buoni Cristiani Active between c. 1530 and 1545 Type Study and discussion group Purpose/focus Philosophical Headquarters Mdina Location … Wikipedia
On Formally Undecidable Propositions of Principia Mathematica and Related Systems — This article describes the publication details of a famous paper in mathematical logic. For information about the theorems proved in this paper, see Gödel s incompleteness theorems. Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipedia
Truth — • Defines ontological, logical, and moral truth Catholic Encyclopedia. Kevin Knight. 2006. Truth Truth † … Catholic encyclopedia
logical — adjective Date: 15th century 1. a. (1) of, relating to, involving, or being in accordance with logic (2) skilled in logic b. formally true or valid ; analytic, deductive 2. capable of reasoning or of using reason in an orderly cogent fashion < a… … New Collegiate Dictionary
china — /chuy neuh/, n. 1. a translucent ceramic material, biscuit fired at a high temperature, its glaze fired at a low temperature. 2. any porcelain ware. 3. plates, cups, saucers, etc., collectively. 4. figurines made of porcelain or ceramic material … Universalium
China — /chuy neuh/, n. 1. People s Republic of, a country in E Asia. 1,221,591,778; 3,691,502 sq. mi. (9,560,990 sq. km). Cap.: Beijing. 2. Republic of. Also called Nationalist China. a republic consisting mainly of the island of Taiwan off the SE coast … Universalium
